Using a countable support product of creature forcing posets, we show that consistently, for uncountably many different functions the associated Yorioka ideals’ uniformity numbers can be pairwise different. In addition we show that, in the same forcing extension, for two other types of simple cardinal characteristics parametrised by reals, for uncountably many parameters the corresponding cardinals are pairwise different.

Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings (...) via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs. (shrink)

We reimplement the creature forcing construction used by Fischer et al. :1045–1103, 2017. https://doi.org/10.1007/S00153-017-0553-8. arXiv:1402.0367 [math.LO]) to separate Cichoń’s diagram into five cardinals as a countable support product. Using the fact that it is of countable support, we augment our construction by adding uncountably many additional cardinal characteristics, sometimes referred to as localisation cardinals.

We continue investigating variants of the splitting and reaping numbers introduced in [4]. In particular, answering a question raised there, we prove the consistency of and of. Moreover, we discuss their natural generalisations $\mathfrak {s}_{\rho }$ and $\mathfrak {r}_{\rho }$ for $\rho \in (0,1)$, and show that $\mathfrak {r}_{\rho }$ does not depend on $\rho $.